Network invariants for real-time systemsGRINCHTEIN, Olga; LEUCKER, Martin.Formal aspects of computing. 2008, Vol 20, Num 6, pp 619-635, issn 0934-5043, 17 p.Article

Learning Finite-State Machines from Inexperienced TeachersGRINCHTEIN, Olga; LEUCKER, Martin.Lecture notes in computer science. 2006, pp 344-345, issn 0302-9743, isbn 3-540-45264-8, 1Vol, 2 p.Conference Paper

Learning of event-recording automataGRINCHTEIN, Olga; JONSSON, Bengt; LEUCKER, Martin et al.Theoretical computer science. 2010, Vol 411, Num 47, pp 4029-4054, issn 0304-3975, 26 p.Article

When not losing is better than winning : Abstraction and refinement for the full μ-calculusGRUMBERG, Orna; LANGE, Martin; LEUCKER, Martin et al.Information and computation (Print). 2007, Vol 205, Num 8, pp 1130-1148, issn 0890-5401, 19 p.Article

A hierarchy of implementable MSC languagesBOLLIG, Benedikt; LEUCKER, Martin.Lecture notes in computer science. 2005, pp 53-67, issn 0302-9743, isbn 3-540-29189-X, 1Vol, 15 p.Conference Paper

Model checking probabilistic distributed systemsBOLLIG, Benedikt; LEUCKER, Martin.Lecture notes in computer science. 2003, pp 291-304, issn 0302-9743, isbn 3-540-20632-9, 14 p.Conference Paper

Don't know in probabilistic systemsFECHER, Harald; LEUCKER, Martin; WOLF, Verena et al.Lecture notes in computer science. 2006, pp 71-88, issn 0302-9743, isbn 3-540-33102-6, 1Vol, 18 p.Conference Paper

Functional programming languages for verification tools: a comparison of Standard ML and HaskellLEUCKER, Martin; NOLL, Thomas; STEVENS, Perdita et al.International journal on software tools for technology transfer (Print). 2005, Vol 7, Num 2, pp 184-194, issn 1433-2779, 11 p.Article

Message-passing automata are expressively equivalent to EMSO logicBOLLIG, Benedikt; LEUCKER, Martin.Lecture notes in computer science. 2004, pp 146-160, issn 0302-9743, isbn 3-540-22940-X, 15 p.Conference Paper

Don't care in SMT: building flexible yet efficient abstraction/refinement solversBAUER, Andreas; LEUCKER, Martin; SCHALLHART, Christian et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 1, pp 23-37, issn 1433-2779, 15 p.Conference Paper

Message-passing automata are expressively equivalent to EMSO logicBOLLIG, Benedikt; LEUCKER, Martin.Theoretical computer science. 2006, Vol 358, Num 2-3, pp 150-172, issn 0304-3975, 23 p.Conference Paper

Prefix-recognizable graphs and monadic logicLEUCKER, Martin.Lecture notes in computer science. 2002, pp 263-283, issn 0302-9743, isbn 3-540-00388-6, 21 p.Conference Paper

On model checking synchronised hardware circuitsLEUCKER, Martin.Lecture notes in computer science. 2000, pp 182-198, issn 0302-9743, isbn 3-540-41428-2Conference Paper

Local parallel model checking for the alternation-free μ-calculusBOLLIG, Benedikt; LEUCKER, Martin; WEBER, Michael et al.Lecture notes in computer science. 2002, pp 128-147, issn 0302-9743, isbn 3-540-43477-1Conference Paper

Extending compositional message sequence graphsBOLLIG, Benedikt; LEUCKER, Martin; LUCAS, Philipp et al.Lecture notes in computer science. 2002, pp 68-85, issn 0302-9743, isbn 3-540-00010-0, 18 p.Conference Paper

Dynamic Message Sequence chartsLEUCKER, Martin; MADHUSUDAN, P; MUKHOPADHYAY, Supratik et al.Lecture notes in computer science. 2002, pp 253-264, issn 0302-9743, isbn 3-540-00225-1, 12 p.Conference Paper

Learning of event-recording automataGRINCHTEIN, Olga; JONSSON, Bengt; LEUCKER, Martin et al.Lecture notes in computer science. 2004, pp 379-395, issn 0302-9743, isbn 3-540-23167-6, 17 p.Conference Paper

Generalised regular MSC languagesBOLLIGL, Benedikt; LEUCKER, Martin; NOLL, Thomas et al.Lecture notes in computer science. 2002, pp 52-66, issn 0302-9743, isbn 3-540-43366-XConference Paper

Truth/SLC : A parallel verification platform for concurrent systemsLEUCKER, Martin; NOLL, Thomas.Lecture notes in computer science. 2001, pp 255-259, issn 0302-9743, isbn 3-540-42345-1Conference Paper

Model-based testing : A glossaryPRETSCHNER, Alexander; LEUCKER, Martin.Lecture notes in computer science. 2005, pp 607-609, issn 0302-9743, isbn 3-540-26278-4, 3 p.Conference Paper

Inferring network invariants automaticallyGRINCHTEIN, Olga; LEUCKER, Martin; PITERMAN, Nir et al.Lecture notes in computer science. 2006, pp 483-497, issn 0302-9743, isbn 3-540-37187-7, 1Vol, 15 p.Conference Paper

SALT-Structured Assertion Language for Temporal LogicBAUER, Andreas; LEUCKER, Martin; STREIT, Jonathan et al.Lecture notes in computer science. 2006, pp 757-775, issn 0302-9743, isbn 3-540-47460-9, 1Vol, 19 p.Conference Paper

Don't know in the μ-calculusGRUMBERG, Orna; LANGE, Martin; LEUCKER, Martin et al.Lecture notes in computer science. 2005, pp 233-249, issn 0302-9743, isbn 3-540-24297-X, 17 p.Conference Paper

Parallel model checking for the alternation free μ-calculusBOLLIG, Benedikt; LEUCKER, Martin; WEBER, Michael et al.Lecture notes in computer science. 2001, pp 543-558, issn 0302-9743, isbn 3-540-41865-2Conference Paper

Monitoring of real-time propertiesBAUER, Andreas; LEUCKER, Martin; SCHALLHART, Christian et al.Lecture notes in computer science. 2006, pp 260-272, issn 0302-9743, isbn 3-540-49994-6, 1Vol, 13 p.Conference Paper